bi-semiring相关论文